COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	arpa[w83,jmc]		arpa scope items
C00004 ENDMK
C⊗;
arpa[w83,jmc]		arpa scope items

Basic Research in Artificial Intelligence

1. Formalization of facts about the common sense world including
laws determining the effects of actions including mental actions.

2. Formalization of common sense reasoning including non-monotonic
reasoning.

3. Representation of facts in the memory of a computer.  Connections
betweeen AI representation work and database research.

4. Languages for communication among computers and between computers
and people, especially semantic aspects of such languages.

5. Techniques for computer reasoning and computer-assisted human
reaoning.

6. AI programming languages including LISP, especially Common LISP,
but also research aimed at new languages.

7. Techniques for automatically specializing programs.

8. Programs that take advice from users and give advice in return,
and programs that decide what to do by formal reasoning.


Basic research in program verification

1. Logical formalisms for describing computations.

2. Techniques for computer assisted proofs that programs have
desired properties.

3. Logical properties of programs and programming languages.